Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
641	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
642	au Aarhus University ANNUAL REPORT 2009 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:01 Mathematics Cache Models of computation Cache-oblivious algorithm Algorithms Computational complexity theory Asymptotically optimal algorithm Parallel computing Database Theoretical computer science Applied mathematics Analysis of algorithms
643	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
644	UK GLASSFrom 6 April till 14 September 2014, the glass museum GLAZENHUIS in Lommel presents an exhibition on contemporary artistic glass from the United Kingdom. The GlazenHuis organizes two t Add to Reading List Source URL: www.michaelpetry.net Language: English - Date: 2014-11-25 09:57:42 Theory of computation British people Mathematical logic Physical cosmology Alan Turing Algorithm Multiverse Entscheidungsproblem Digital physics Mathematics Computability theory Theoretical computer science
645	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
646	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume45.html 31 pages A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Rep Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-09-12 20:15:55 Complexity classes Computability theory Models of computation Probabilistic complexity theory PP IP Oracle machine NP P Theoretical computer science Computational complexity theory Applied mathematics
647	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
648	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
649	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
650	A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial Extended Abstract Walid Taha Department of Computing Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-29 21:10:43 Digital typography Orthography World glyph set Latin-derived alphabet Latin alphabets Character encoding Latin script

UPDATE